export const GLOBAL_UI_SELECT_EXTENSION_ID = "tingfeng.ui.select.count";
export const GLOBAL_UI_SEARCH_EXTENSION_ID = "tingfeng.ui.search";
export const GLOBAL_UI_SEARCH_TREE_VIEW_ID = "tingfeng.ui.search.treeview";
export const GLOBAL_UI_SEARCH_WEB_VIEW_ID = "tingfeng.ui.search.webview";
